Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit Paul Dourish Rank Xerox Research Centre, Cambridge Laboratory (EuroPARC) and Department of Computer Science,

Source URL: www.dourish.com

• Transaction processing
• Data management
• Concurrency control
• Isolation
• Consistency
• Eventual consistency
• Atomicity
• Database
• ACE
• Lock
• File locking
• Extensible Storage Engine

CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur

Source URL: www.cis.upenn.edu

InCube Assets QRT Validator Background During the production of the June 2015 Solvency II QRT interim measures submission, lacking data quality (completeness, validity and consistency) turned out to be an issue for sever

Source URL: www.incubegroup.com

JMLR: Workshop and Conference Proceedings vol 40:1–19, 2015 Beyond Hartigan Consistency: Merge Distortion Metric for Hierarchical Clustering Justin Eldridge Mikhail Belkin

Source URL: jmlr.org

• Statistics
• Hierarchical clustering
• Network analysis
• Cluster analysis
• Single-linkage clustering
• Data analysis
• Image segmentation
• Information

A Data-Oriented Approach to Program Synthesis Fritz Obermeyer

Source URL: fritzo.org

• Constraint programming
• 6V
• Local consistency

Highly Available Transactions: Virtues and Limitations (Extended Version) Peter Bailis, Aaron Davidson, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney arXiv:1302.

Source URL: arxiv.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Database management systems
• Isolation
• Snapshot isolation
• Serializability
• Consistency model
• Database transaction

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Modular Pluggable Analyses for Data Structure Consistency

Source URL: patricklam.ca

Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee, and Martin Rinard MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Cambridge, MA 02139, USA

Source URL: patricklam.ca

A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

Source URL: software.imdea.org

• Transaction processing
• Data management
• Schedule
• Consistency model
• Readwrite conflict
• Writeread conflict
• Snapshot isolation
• Isolation
• Database transaction
• Replication
• Consistency
• Causal consistency

Enforcing Routing Consistency in Structured Peer-to-Peer Overlays: Should We and Could We? Wei Chen and Xuezheng Liu Microsoft Research Asia

Source URL: iptps06.cs.ucsb.edu

• Distributed data storage
• File sharing networks
• Computing
• File sharing
• Key-based routing
• Routing
• Peer-to-peer
• Scalability
• KBR
• Tapestry
• Pastry